Nuprl Definition : axiom def
9,38
postcript
pdf
Ax is Primitive
latex
Definitions
Ax
origin